13

Model Checking Healthcare Workflows Using Alloy

Year:
2014
Language:
english
File:
PDF, 298 KB
english, 2014
17

A formalisation of deep metamodelling

Year:
2014
Language:
english
File:
PDF, 1.82 MB
english, 2014
18

Alcohol Problems in General Practice

Year:
1987
Language:
english
File:
PDF, 1.41 MB
english, 1987
25

Musculoskeletal symptoms in a local community

Year:
1995
Language:
english
File:
PDF, 1.34 MB
english, 1995
26

A User-friendly Tool for Model Checking Healthcare Workflows

Year:
2013
Language:
english
File:
PDF, 501 KB
english, 2013